1. A modern perspective on type theory :
پدیدآورنده : by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Type theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Type theory.,Type theory.,Typentheorie.
رده :
QA9
.
K225
2004
2. A modern perspective on type theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Type theory. ;
3. A transfinite type theory with type variables
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Type theory
رده :
QA
9
.
A64
4. An introduction to mathematical logic and type theory :
پدیدآورنده : by Peter B. Andrews.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Type theory.
رده :
QA9
.
B974
2011
5. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, P. B. )Peter Bruce(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
6. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
7. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده : Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
8. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
9. An introduction to mathematical logic & type theory:to truth
پدیدآورنده : ANDREWS,PETER BRUCE
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , TYPE THEORY
رده :
QA
9
.
A638
10. Basic simple type theory
پدیدآورنده : Hindley,J.Roger
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، programing languages)electronic computers(,، type theory
رده :
QA
76
.
7
.
H55
1996
11. Categorical logic and type theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Type theory. ; Categories (Mathematics) ;
12. Categorical logic and type theory
پدیدآورنده : Jacobs, Bart
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Type theory,، Categories )Mathematics(
رده :
QA
9
.
J22
13. Derivation and computation: taking the Curry-Howard correspondence seriously
پدیدآورنده : Simmons, Harold
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory,، Lambda calculus,، Type theory,، Curry-Howard isomorphism
رده :
QA
9
.
54
.
S55
2000
14. Information and nowledge: a constructive type-theorical approach
پدیدآورنده : Primiero, Giuseppe
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Knowledge, Theory of,، Type theory of
رده :
BD
161
.
P766
2008
15. Intuitionistic type theory
پدیدآورنده : Martin-Lof, Per, 2491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Type theory
رده :
QA
9
.
M329
16. Isomorphisms of types : from ]lambda[-calculus to information retrieval and language design
پدیدآورنده : Di Cosmo, Roberto, 3691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Type theory,، Human-computer interaction
رده :
QA
76
.
7
.
D48
17. Proofs and types
پدیدآورنده : / Jean-Yves Girard
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical,Type theory
رده :
E-BOOK
18. Proofs and types
پدیدآورنده : Girard, Jean-Yves
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
رده :
QA
9
.
54
.
G572
1989
19. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
20. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده : Thomas Streicher,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
